Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
151	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
152	3rd Annual International Conference on Earth and Environmental Sciences 6-9 June 2016, Athens, Greece CALL FOR PAPERS Add to Reading List Source URL: www.atiner.gr Language: English - Date: 2015-06-03 07:30:27 Greek culture Athens Greek temples Conversion of non-Christian places of worship into churches Conversion of non-Muslim places of worship into mosques Parthenon Propylaea Classical Athens Ancient Greek temple Acropolis of Athens Ancient Greece Greece
153	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic
154	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
155	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
156	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
157	ROUGE TOMATE “CLASSICS” PRIX FIXE $32 Join us in celebrating some of our signature dishes of the last 6 years Choose one from each category Beverage Pairings - Wine $20 / Non-Alcoholic $16 APPETIZERS Add to Reading List Source URL: www.rougetomatenyc.com Language: English - Date: 2014-07-30 14:51:20 Linguistics Orthography Classical cipher Index of agriculture articles Latin alphabets Computer programming Writing systems of Africa
158	DynamicFusion: Reconstruction and Tracking of Non-rigid Scenes in Real-Time Richard A. Newcombe Dieter Fox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 18:10:31 Deformation Classical mechanics Non-Newtonian fluids Tensors 3D scanner Frame of reference Topology Thin plate spline Plasticity Physics Mechanics Solid mechanics
159	This discussion paper is/has been under review for the journal Solid Earth (SE). Please refer to the corresponding final paper in SE if available. Discussion Paper Solid Earth Discuss., 7, 1347–1374, 2015 Add to Reading List Source URL: www.solid-earth-discuss.net Language: English - Date: 2015-06-08 08:10:24 Artificial intelligence Logic in computer science Non-classical logic Fuzzy measure theory Fuzzy set Logic Mathematical logic Fuzzy logic
160	Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis: Add to Reading List Source URL: standefer.weebly.com Language: English - Date: 2014-11-06 15:15:02 Analytic philosophy Analytic philosophers Philosophy of mathematics Metalogic Non-classical logic Proof theory Philosophy of logic Nuel Belnap Alan Ross Anderson Logic Philosophy Philosophical logic

UPDATE